Analysis of AADL Models Using Real-Time Calculus With Applications to Wireless Architectures
نویسندگان
چکیده
Architecture Analysis and Design Language (AADL) captures both platform and software architectures of embedded systems in a component oriented fashion. Properties embedded in an AADL model enable several high-level analysis techniques. In this work, we explore how to perform analysis of end-to-end timing characteristics of an AADL model using Real-Time Calculus (RTC). We identify properties of AADL models that are necessary to enable such analysis and develop an algorithm to transform an AADL model into an RTC model. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-08-25. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/887 Analysis of AADL Models Using Real-Time Calculus with Applications to Wireless Architectures∗ Oleg Sokolsky University of Pennsylvania Alexander Chernoguzov Honeywell
منابع مشابه
Modeling Wireless Sensor Network Architectures using AADL
Recent technological advances have enhanced the possibilities of large-scale development and commercial deployment of diverse applications using wireless sensor networks. As this development effort expands, it becomes increasingly important to build tools and formal methodologies that ease large-scale deployments of such networks. In this paper, we advocate the use of an architecture descriptio...
متن کاملExecutable AADL: Real-Time Simulation of AADL Models
The Architecture Analysis and Design Language (AADL) standard [2] defines a default runtime semantic for software intensive Real Time systems. This includes support for multi tasking, network distributed architectures and Time and Space Partitionning systems. A proper implementation of the AADL runtime thus allows for the virtual execution of a system at a model level and contributes to the ear...
متن کاملAn Adaptive Congestion Alleviating Protocol for Healthcare Applications in Wireless Body Sensor Networks: Learning Automata Approach
Wireless Body Sensor Networks (WBSNs) involve a convergence of biosensors, wireless communication and networks technologies. WBSN enables real-time healthcare services to users. Wireless sensors can be used to monitor patients’ physical conditions and transfer real time vital signs to the emergency center or individual doctors. Wireless networks are subject to more packet loss and congestion. T...
متن کاملA Mobile and Fog-based Computing Method to Execute Smart Device Applications in a Secure Environment
With the rapid growth of smart device and Internet of things applications, the volume of communication and data in networks have increased. Due to the network lag and massive demands, centralized and traditional cloud computing architecture are not accountable to the high users' demands and not proper for execution of delay-sensitive and real time applications. To resolve these challenges, we p...
متن کاملStood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures
Coupling of modelling and analysis tools requires that both ends strictly comply with the same semantic definition of the exchanged model. This is particularly important for real-time systems and software architectures. Such a guaranty can be brought by the common use of the Architecture Analysis and Design Language (AADL) all along the tool-chain. This paper discusses modelling and analysis op...
متن کامل